Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
641	PDF Document Add to Reading List Source URL: www.novamente.net Language: English - Date: 2011-06-09 10:25:58 Computational neuroscience Reasoning Cybernetics Singularitarianism Ben Goertzel Probabilistic logic network Hypergraph Strong AI Knowledge representation and reasoning Science Artificial intelligence Knowledge
642	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-04-24 17:27:28 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science 2-satisfiability Conjunctive normal form PP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
643	PDF Document Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2008-06-14 22:09:12 Computational geometry Distributed computing Academia Logic Jeffrey Vitter Algorithm Computer science
644	PDF Document Add to Reading List Source URL: clg.wlv.ac.uk Language: English - Date: 2007-09-05 07:23:37 Computational linguistics Natural language processing Logical consequence Philosophical logic Pragmatics Textual entailment Entailment WordNet Word-sense disambiguation Logic Linguistics Science
645	PDF Document Add to Reading List Source URL: www.hydrol-earth-syst-sci-discuss.net Language: English - Date: 2010-03-29 12:34:55 Artificial intelligence Statistics Fuzzy logic Computational neuroscience Computational statistics Neuro-fuzzy Fuzzy control system Artificial neural network Adaptive neuro fuzzy inference system Neural networks Science Logic
646	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics
647	PDF Document Add to Reading List Source URL: lingo.stanford.edu Language: English - Date: 2006-06-06 00:34:17 Philosophy of language Computational semantics Logical Form First-order logic Discourse representation theory Semantics Linguistics Logic
648	PDF Document Add to Reading List Source URL: cs.ubbcluj.ro Language: English Artificial intelligence applications Computational linguistics Information retrieval Natural language processing Cluster analysis Fuzzy clustering Question answering Modal logic Regular expression Statistics Science Information science
649	PDF Document Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2007-09-11 11:45:04 Boolean algebra Propositional calculus Topology Computational complexity theory Interval-valued computation Model theory Propositional variable True quantified Boolean formula Interval Mathematics Mathematical logic Logic
650	Untitled Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2006-05-05 09:05:17 Information science Lexical semantics Semantics Natural language processing Philosophical logic Word-sense disambiguation WordNet Semantic similarity Word sense Linguistics Science Computational linguistics

UPDATE